1. Theorem proving in higher order logic
المؤلف: / Stefan Berghofer ... [et al.] (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T655
,
2009
2. Theorem proving in higher order logics
المؤلف: Stefan Berghofer ... [et al.] (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
T646
2009
